Logica modale epistemica

La logica modale epistemica è una sottodisciplina della logica modale che si occupa del ragionamento sulla conoscenza. Mentre l'epistemologia vanta una lunga tradizione filosofica che risale all'antica Grecia, la logica epistemica ha avuto uno sviluppo molto più recente con applicazioni in molti campi, tra cui la filosofia, l'informatica teorica, l'intelligenza artificiale, l'economia e la linguistica.

La logica modale fu oggetto di discussione filosofica fin dai tempi di Aristotele e fu sviluppata dai filosofi medievali come Avicenna, Guglielmo di Ockham e Duns Scoto; la logica modale epistemica ebbe il primo approccio simbolico e sistematico all'argomento solamente nel 1912, con CI Lewis. Tale scienza continuò a progredire nel tempo finché nel 1963 raggiunse la sua forma moderna con l'opera di Kripke


Developed by StudentB